set theoretic definition

集合论定义